81. A Logical Analysis of Relational Program Correctness
پدیدآورنده: Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science
82. A Logical Analysis of Relational Program Correctness
پدیدآورنده: Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science
83. A practical guide to data structures and algorithms using Java /
پدیدآورنده: Sally Goldman, Kenneth Goldman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data structures (Computer science),Java (Computer program language),Data structures (Computer science),Java (Computer program language)
رده :
QA76
.
73
.
J38
84. A primer on scientific programming with Python /
پدیدآورنده: Hans Petter Langtangen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
رده :
QA76
.
73
.
P98
85. ALPHARD :
پدیدآورنده: Mary Shaw
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Abstraktion.,Alphard.,Datentyp.
86. AQA A level Computer Science.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
87. Advanced Relational Programming
پدیدآورنده: by Filippo Cacace, Gianfranco Lamperti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Software engineering.
رده :
QA76
.
9
.
D3
B945
1996
88. Advanced Topics in C: Core Concepts in Data Structures
پدیدآورنده: / Noel Kalicharan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
89. Advanced Topics in Java
پدیدآورنده: by Noel Kalicharan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer science.,Computer Science, general.
90. Advanced Topics in Java: Core Concepts in Data Structures
پدیدآورنده: / Noel Kalicharan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
91. Advanced concepts for intelligent vision systems :
پدیدآورنده: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
92. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده: editors, P. Ciarlini [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
93. Advanced software technologies for post-Peta scale computing :
پدیدآورنده: Mitsuhia Sato, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software.,High performance computing.,Computer software.,High performance computing.
رده :
QA76
.
88
.
A38
2019
94. Advanced topics in Java : core concepts in data structures
پدیدآورنده: / Noel Kalicharan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
95. Advances in Computer Graphics V
پدیدآورنده: edited by Werner Purgathofer, Jürgen Schönhut.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Software engineering.,Text processing (Computer science)
رده :
T385
.
E358
1989
96. Advances in Computer Systems Architecture (vol. # 3740) :
پدیدآورنده: edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data transmission systems.
97. Advances in Data Science and Classification :
پدیدآورنده: edited by Alfredo Rizzi, Maurizio Vichi, Hans-Hermann Bock.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data structures (Computer science),Economics.,Statistics.
رده :
QA278
.
E358
1998
98. Advances in Intelligent Systems
پدیدآورنده: edited by Spyros G. Tzafestas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer vision.,Information storage and retrieval systems.
99. Advances in Scientific Visualization
پدیدآورنده: edited by Frits H. Post, Andrea J.S. Hin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Software engineering.
رده :
Q183
.
9
E358
1992
100. Advances in artificial intelligence :
پدیدآورنده: Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018